41. Logic, language, and computation :
Author: Nick Bezhanishvili [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
Classification :
QA76
.
9
.
L63
I57
2009eb
42. Logic, language, and computation
Author: \ [edited by] Martin Aher...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبانشناسی کامپیوتری -- کنگره ها
Classification :
QA
75
.
5
.
L644
2015
E-Book
,
43. Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium Zakopane, Poland, September 4-8, 1978
Author: edited by J. Winkowski
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(,Congresses ، Database management
Classification :
QA
76
.
L28
Vol
.
64
44. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
Author: M. Main...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
298
45. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M378
1988
46. Mathematical foundations of programming semantics :
Author: M. Main, A. Melton, M. Mislove ... [et al.], eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
Classification :
QA76
.
7
M535
1990
47. Mathematical foundations of programming semantics : International Coference, Kansas, April 11-12, 1985: Proceedings
Author: edited by Austin Melton
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
239
48. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author: M. Main...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
442
49. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M38
1990
50. Natural language at the computer: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
N38
.
S38
1988
51. PARLE, parallel architectures and languages Europe :
Author: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,Parallel processing (Electronic computers), Congresses.,Programming languages (Electronic computers), Congresses.
Classification :
QA76
.
5
.
C61926
1987
52. PARLE, parallel architectures and languages Europe : Eindhoven, The Netherlands, June 15-19, 1987 : proceedings
Author: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
258
,
259
53. PARLE, parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings
Author: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
258-259
54. Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Software engineering,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
N373a
55. Proceedings of the 2002 ACM SIGPLAN Haskell Workshop )Haskell'02( : Pittsburgh, Pennsylvania, USA October 3, 2002
Author: Sponsored by the Association for Machinery, Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Haskell )Computer program language(,، Programming languages )Electronic computers(,Congresses ، Computer software
Classification :
QA
76
.
73
.
H37A25
2002
56. Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : )PEPM'04( : August 24-25, 2004, Verona, Italy
Author: Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
6
.
P45
2004
57. Proceedings of the 2003 ACM SIGPLAN workshop on Partial Evaluation and semantics-based program manipulation : )PEPM'03( : San Diego, California, USA, June 17th, 2003
Author: sponsored by the Association for Computing Machinery Special Interest Group on Programming Language )ACM SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
6
.
P45
2003
58. Proceedings : 29th International Conference on Software Engineering : ICSE 2007, 20-26 May 2007, Minneapolis, Minnesota
Author: sponsored by IEEE Computer Society Technical Council on Software Engineering, The ACM Special Interest Group on Software Engineering )SIGSOFT(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
758
.
I5
2007
59. Proceedings : 29th International Conference on Software Engineering : ICSE 2007 companion volume, 20-26 May 2007, Minneapolis, Minnesota
Author: sponsored by IEEE Computer Society Technical Council on Software Engineering )SIGSOFT(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
758
.
I5
2007
Comp
.
60. Programmiersprachen und Programmentwicklung :
Author: herausgegeben von Hans Wössner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Computer programming.,Programming languages (Electronic computers) -- Congresses.
Classification :
QA76
.
7
H473
1982
